perm filename CMSY6.360[360,GF]3 blob
sn#866841 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#≠Lf$ F#1(
∧@%X↓V`5Pα⊗ UHαV λ↓V⊂⊂↓U` ⊂↓U@ _α∃@ _α∃ (↓U 0↓T`00↓TaE⊂εT Hα∩@⊂(↓B DP↓`0X↓R@p`αR`Phα∪4("⊂BA0 D``⊂β↓)` αα Pλ@@0⊂α↓ p⊂↓ p_'`⊂λ∧I`(∧)` β@I`_α@i`_↓Ai`_↓αIP_∧↓IP_¬↓ P_¬@iP⊂εiP⊂εI@_εI@⊂εI@⊂@`p⊂%@@⊂X%@ 0@"Qλ1λ ∧b0Xβ∀A∃λ↓↓ 4x↓↓`$pB $h↓α$`↓α ∀`↓∩`$X↓∩@4P↓R@4P↓R@DPαα`∀Xαα$Xβ↓ ∀`¬∪@d("⊃β⊃X D`ph'∧IP⊂α`P0& `⊂∧↓)0⊂βA⊂(%@`_¬↓
_¬@j _¬@j _¬@j ⊂εj ⊂εJ⊂_εJ⊂⊂εJ⊂⊂ε*_¬@*⊂¬@*⊂∧@Ip⊂β@ipP'αλT "D"1_ B@eλ∧T (↓S`⊂8↓S@ 8↓∪ 4hα∪ dp∧∀Tp↓∪ ∀`↓∩`$X↓∩@0XR@@@↓∩@P0Ra$`βQ(D0
Gα1_¬Cj!⊂(@@@⊂∧Jλα@ip⊂α@i`⊂βJ`⊂*@jP⊂*Bj@X*J@⊂)@J0⊂)J λ&@0λ%AI0("Qλq⊂
¬B0PβTA%↓↓@DxB $pB@$hB@$`↓α@∀X↓∩`$P↓C ∀P↓C$P↓B`4P↓B`4Pαα 4PαB4XαA D`∧@@$hβ`%0↓∃ %(S↓∀X∧⊃(D@
G"A_β↓!`λ'α↓@λ&@ @ ¬@I@λβa ⊂%@@`_¬I ⊂β@a⊂_)@A ⊂)@A ⊂)βJ p)A⊂_(@a⊂⊂(@A ⊂(@A⊂_(a⊂_(A _(A _'@A0_α)p⊂¬A λ'A@0.AλT $E"a_ AAtpλ∪ ⊂HS⊂H↓∩`⊂H↓∃ % ↓U% ↓∀`5_↓T`%_↓∀@5⊂↓∀@%λ↓↓`%λA`$`π∩aT("∩C⊃`∧a`X+β
@⊂β@*0λ∧J λ∧J⊂⊂∧J⊂∧Jλ∧@K⊂_,@K⊂⊂,k⊂,Jp_+@i0⊂¬I _¬I _∧@I ∧) (α@I0H&↓HT %Ec⊃_ A@ Pα∪@@8↓@@$h@ 0(↓↓ ∀x↓@`$x↓@@∀x↓@ ∀x↓ ∀xα∪@Tp↓ 4p↓@$h↓@@4h↓↓$h↓↓4`↓A $`↓↓@4`↓↓`08↓∩` H↓A@∀X↓α@0_↓∩@ `αQ(D`
Eb1_εA*`8*@0 )@@P⊂)@`λ)*⊂⊂(j⊂(Ip_'@Ip⊂'i`⊂'A`λ&Aa⊂λ&B@Pλ& @X%@!0"Q R ∪¬α0`E ∃(↓D`% α∧@5 α∧ E αC`U αC@e @ 0h↓@ % @ @X↓@@%_@@@P↓@@5_@`0H↓@`5_@`@8↓A5⊂A@0↓A 5⊂A 0(↓A@5λ↓↓ @_↓A`5λA@@⊂↓B5↓↓`pH↓T⊂@βα@4PA Hαα`4Pβα`⊂hαR@aHα∩`D("∪DαλEC@ 2↓L08*AP_)A↓@λ)A↓0λ)A↓0λ)A! λ)A!⊂λ)@ ⊂_∧@* λ↓↓↓λ) ∧* λ↓A`λ) 0 β*⊂λα@``λ(@ P α@*⊂λαA@λ( p ↓@*λβA λ'@A ↓) λα! (%↓A (%↓!@ %A↓P⊂"Q q@
∧b0H↓↓eλ↓@a∃A ⊂(αS`⊂(A`DpA ⊂Hα∪ ⊂(↓α D`↓↓ X↓R` (C4X↓∧@4P↓D@4P↓D@$P↓D@$P↓D $Pα∧∀Pαβ`∀Xαβ ∀XαB`∀`β↓@4hε∪`t("∀β↓P
∧`ph'∧IP⊂α`P0& `⊂∧↓)0⊂βA⊂ %@`_¬j _¬J _¬J _∧@J ⊂¬* ⊂∧@*⊂_βj⊂⊂↓↓J⊂⊂A
_(J⊂'@ip⊂'@I`⊂"Q
⊃8
Eb0XβTA5λ↓↓@dx↓α TpC DhC@D`↓β`4X↓∧4X↓∧4P↓D4P↓D$P↓D$Pαβ@$PαC ∀XαA S↓ S `0U`% ↓S!P↓∪↓⊂H↓∪a (TAE0β⊃(E⊂∞πB1_βCia_&@@@_βA)@λβA⊂ %@@`⊂¬i ⊂βa ⊂)a ⊂)a⊂⊂)a⊂λ)A⊂)@0((@` ((@@@((@@P (`` (@p((A β)p⊂¬↓@λ'@A @'A@("Q
1
Db0X∧∀a5⊂A`EλB %↓α ∀x↓S`DxαT↓¬λ∧U e8αS Hα∪ X↓R` `↓R@0`↓∩@@XR@`8↓∩aDh∧⊃(E FbA @J↓⊂'∧IPλ∧@I@λ∧@I0⊂∧@I ⊂∧@jP_*@JP⊂*j@_*J@⊂)@J0⊂)J λ(@)`H&B(T *Ebq_ A@h↓∪``↓∩`⊂_↓C$x↓β$x↓β$p↓β4p↓β$h↓B`4h↓β4h↓α`4`↓α`⊂λ↓∪ PαR` P↓ 4X↓α@⊂⊂↓∩@0H@`$P↓B⊂_↓R@00↓↓4Pα↓⊂0↓RA8αR`PH↓Q(E0
¬BA_@a@⊂%↓!0_%A! &↓!0⊂&A↓@λ'a@λ'a0⊂'↓↓ λ'↓↓⊂⊂'@a⊂'@`p_'@``_'@`P_'@`@_'@`0_'@` _'@`⊂_'AIp('A p⊂"Q
r⊂∩¬α0λ↓C@ XR@P`αα 4XαB`@Hα∪PHβα@$hαα ⊂λαα`∀p↓B ⊂↓B`∀p↓A` _αα $p↓A` _αα ∀pα↓ (↓B$pα↓ 0α↓`∀x↓A 0α↓@$x↓@` @↓A $x↓@@ H↓A4x↓@ 0Hα`$xβα@@⊂↓∪`P`↓@ $xαβ dx↓C@Tpαβ@Dp↓C`4p↓∧$("⊗β↓X Da ∧@j⊂0βA
λ↓↓↓_*↓p⊂*↓pλ*@`P⊂*@`0⊂*@` λ*A*P_*↓* ⊂A
⊂λαip⊂α@iP⊂β@i@λ∧@i0⊂∧A _∧A0λ%↓↓⊂0%a ("Q⊃0¬b0 αα@$`∧↓`DX@`PP↓∀ @PT @PT@@HT@@@T`0@T`0@T`@0T`@(↓∃0(U0 U0_↓∃0⊂↓∃0λ↓∃U α∃4PB4P↓↓@4X↓`4XβS 4("⊗C↓P Da @α* p(@ p0(A0λ'@A0λ-@+ λ,@+λ)BJ`λ*@*0⊂)*⊂λεJλεI`⊂ε@IPHβIAλ%@ p@"Q↓ p
∩BD("↓BaHE!0λ*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂%¬I!0*J@⊂*J@⊂*J@⊂*J@⊂*I!0%¬HT ∧¬C⊃8 αdx↓@`⊂⊂↓S@⊂0A ∀hA`⊂0S⊂@A`∀`B⊂8R`⊂HB∀XB ⊂@R@⊂PB ∀PB@⊂HR@⊂PB ∀P∩@⊂PB ∀PB@⊂HR@⊂PB ∀PB@⊂HR`⊂HB∀XB ⊂@S⊂@A`∀`B⊂8S ⊂8A@∀pA@⊂(S`0_@@5⊂β⊃(@Pε"q⊂∧↓Ip_βi`λε)Pλπ)@λ@!@λ@)@λ↓! λ↓)0λ↓@! λ↓@)0λα!λα) λβ `λβ) λβ@ @λβ@) λ∧ λ∧) λ∧@A⊂λ%!⊂⊂∧@) λ∧ λ∧) λβ@ @λβ@) λβ `λβ)0λα!λα)0λ↓@! λ↓@)@λ↓! λ↓)@λ@!@λ@)Pλπ)`λε)p_βj 0"Q1⊂
D"⊂λC`∀P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$P↓β@$X↓β$`↓B4hε∪a∧("↔α!(λD P@&C @_∧i0⊂εI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI ⊂πI0λπ@(T /∧BQλλB%⊂↓∀ Eλα∀ ⊂↓∀ ⊂↓∪` ↓∪` ↓∪@ 0↓∪@ 0↓∪ @↓∪ @↓∪ P↓∪ P↓∩` `↓∩` `↓∩@ p↓∩@ xQ(Ex ¬"⊃λApλ%A`⊂%@A@⊂%@A@⊂&A ⊂&A ⊂&@A⊂&@A⊂'@`⊂'@`⊂'@@@⊂'@@@⊂(@ ⊂(@ ⊂(A
⊂ )J ⊂"Q∧0`πFB@(↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∩@ _↓`$X↓@ ⊂↓∪ ⊂λ↓ ∀pα∪`%Q(B⊂εβc! β)p⊂'↓ Pλ@@⊂λ%@@ ⊂↓I ⊂↓@@0⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@HT ⊂πD⊂P¬A@∀xS@∀hRcTX∞S ∀pS`∃Q(Bλ∂λ! X@, λ1@,@λ%πI!h2,0λ1,⊂λ"Q∧Ap⊂BA00D∀xD@∀pE∀hE@∀X∞RcDhE@∀pE∀xD@∃D∀("εBA@
D ph'Ci`_&@I@⊂%@I0⊂%@I ⊂%I ⊂%I ⊂%I0⊂%@I0⊂&IP⊂'ipx(C(T
Eβ↓(λ@!DXπ∃`5H↓⊗@%X↓⊗`%X↓↔%`↓↔%`↓↔%`↓⊗`%X↓⊗`%P↓⊗ %8↓RadXε⊃(C⊂λ¬αQλβB)pX'iP⊂&I0⊂%@I0⊂%I ⊂%∧ !%I ⊂%@I0⊂%@I@⊂&@I`_'Bj⊂H"Qπ↓⊂ Eα@λC`∀P↓β@$X↓β$X↓β$X↓β$`↓α@$`↓α@$hε∪!Dp↓↓@$p↓↓@$p↓↓@$x↓↓$x↓↓%↓@%↓@%λα∀ Eλα∀@%⊂↓⊃(CHπ∧"A βI p+J`⊂+J`⊂+J`⊂+I0h%βJ`⊂+J`⊂+J`⊂+J`⊂+I p%βHT ≥∧BP@¬α$P ⊗@%P↓⊗@%P↓⊗@%P↓⊃(A
εβ1 K ,↓
` *↓
0_(@ip &A 0 %i0 &A p (@j0_*↓
` ,↓ .Hp(DI! "QαQ εb@↓∩@D`α∪@Eα∀@5 ↓U E8α⊗ EX↓V E8α∃ E ↓T@5α∪@D`α∩`4P↓⊃`Pλ ∩BD("∧"aHπC@↓0%E(p(¬I!0#A ⊃(%¬HT 7β↓q`
@$P↓∩`$X↓∩`$`↓∪$`↓∪ $h↓∪@$p↓∪@$x↓∪`$x↓∀%↓∀%λ↓∀ %⊂↓∀@%⊂↓∀`%_↓∀`% ↓∃ ∀("~@ 0∞¬ ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂ β@aλ↓∩@DPα∩`$("↓"↓λπCAλ(@j⊂@Ip⊂↓@I`⊂α@IP⊂β@I@⊂∧@I0⊂¬@I0⊂¬@I@⊂∧@IP⊂β@I`⊂α@Ip⊂↓@J⊂@J⊂_)(T 3β↓q`
BE↓S`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$h↓R@Dh↓S`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`%↓T@D("→a@x∞¬ &@ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂(j (ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂&@i "Qε⊃p⊂C↓@ αCT`↓@@@@↓A$`A` 0B$XB B@∀PB` ⊂C∀PC0hR@⊂h↓β ∀PC 0`R@⊂`@@ XR`⊂PA HR` @A@ 8S ↓B@⊂↓S@P`αQ(G_εDβ! ∧@j0λ↓* ⊂@J λ↓J λ)*⊂⊂(@J⊂⊂(@J⊂λ(J⊂(J⊂(Jλ'@Ip⊂'@Ip⊂'@)pλ%@0λ%@ ⊂% 0λ%@hT ↓∧αaλπ@ ⊂hR@ `↓∩` P↓∪ @↓∪ 0↓∪@ ↓∪` ⊂↓∀Eλ↓∀ %α∪` ⊂↓∪@ ↓∪ 0↓∪ @↓∩` P↓∩@ `↓∩`⊂hQ(@_εβa@hα@Ip⊂'@I ⊂↓@@0⊂%↓⊂⊂A @@'@I@@%↓⊂⊂A ⊂↓@@0⊂'@Ip⊂'@HT α¬C⊃ λα E_α∀`E_α⊃`P∩Bd8αB E_α∀`E_α⊃(@8ε"px¬I!0*J@⊂*J@⊂*J@⊂*J@⊂*I!0%¬J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*JPλ"Q↓⊃0Eb @β∪`00↓S@⊂`S ⊂pS⊃S⊃R`⊃⊂R`⊃⊂R@⊃ R@⊃ R@⊃ RBdPE∀PE∀PE∀PE∀XD@∀XD@∀`D∀`D∀hC@∀pC∀x↓A@5⊂β⊃(@Xε"q⊂∧↓Ip_βi`λε)Pλπ)@λπ ⊂λ&!Pλ↓)0λπ 0λ%@!Pλα) λε@ `λ%!@λβ@) λ¬@!λ%! λ∧@) λ∧@! λ%!λ¬@) λβ@!@λ% `λε@)0λα!Pλ%@ 0λπ)@λ↓!Pλ& ⊂λπ)Pλπ)`λε)p_βj 0"Q↓A0Eb @β∪`00↓S@⊂`S ⊂pS⊃S⊃R`⊃⊂R`⊃⊂R@⊃ R@⊂@αα∀PA``8R@⊂8β↓`∀PA``8R@⊂8β↓`∀PB@@R@⊃ R`⊃⊂R`⊃⊂S⊃S⊃S ⊂pS@⊂`S`00↓T@d("β#bλ
¬↓0@)βJ(∧↓)p_πi`⊂ IP⊂
I@⊂I@⊂I0⊂I0⊂I ⊂
I ⊂
I ⊂
I ⊂
I ⊂
I ⊂
I ⊂
I0⊂I0⊂I@⊂I@⊂IP⊂
I`⊂ Ip_πj(∧↓* p*BλT πβ↓phεADhβ∪ ↓∩` 0↓∩` 0↓∩@ @↓∩@ @↓∩@ @↓∩@ @↓∩` 0↓∩` 0↓∪ ↓∪ dpα⊃(@xεβaPhα↓ P0&α 0P%BI `%β `%β 0P%BI@@&AI` "Qα↓0D!p↓∧@$P↓D4`↓β@$h↓B@4pα↓@E¬∀@d8ααe¬∪@@0α∪ 0P↓S p↓∩@1↓R@!⊂↓⊃(A⊂
εβ1 βC)px'iP⊂&I0⊂%@I ⊂%I ⊂%I ⊂%I ⊂%@I0⊂&IP⊂'ipx(C(p(Di1_"Qα1 εb@λε∩ae8↓V %P↓⊗`%X↓↔%`↓↔%`↓↔%`↓↔%X↓⊗`%P↓⊗ %8↓RadXε⊃`P RB4("¬BA@
Eα0λ.K@⊂-@K0⊂-K⊂⊂+@jP (AI X%β
0+↓_-K0⊂-@K@⊂.KPλ#A ↓ %¬λT Eβ↓X
∀P↓∩@$X↓∩`$`↓∪ $p↓S`Eλβ∀a5⊂ε∀dpα∪ 4`↓∩`$X↓∩@$P↓∩@$8α@αDP
⊃(A@ε!Xα↓↓Pλ&↓a@λ%B!0λ%@`@ ∧I ⊂βAp⊂%A αi λ¬B) λε↓i λεAλT EC⊂xπ@`PhS↓XRa0@↓∩@0(β↓ 4P↓α↓4PBa∧PC T8↓`PhS↓XRa0@↓∩@0(β↓ 4P↓α↓4PBa∧PC T("πβbλ
D"⊂_β@k _β@k_β@j` β↓
@ β↓
0_β@j⊂_β@ip β↓ `_β@i@_β@i β↓ β↓ @_β@i`_β@ip β↓
⊂_β@j0_β@j@ β↓
` β↓_β@k _β@k0_β@hT ∞GD⊃(λ@08↓R`08↓S 08↓S@@0α∀@0α∀@08↓U08↓U @0α∃`08↓V 08↓V@@0α⊗@@0α⊗ 08↓U`08↓U @0α∃08↓T@08↓T@0α∪@@0α∪ 08↓R`08↓R@08↓Q(Ap
εαAλ @+@⊂.K0⊂-@K ⊂,@Jp_*A
⊂0%αi `)↓J` ,k ⊂-@K0⊂.K@⊂.HT ∂Eβ↓ λ@∀P↓∩@$X↓∩`$`↓∪ $p↓S`Eλβ∀a5⊂ε∀dpα∪ 4`↓∩`$X↓∩@$P↓∩@$(" #bλ
¬αP⊂α@L⊂82l0⊂@, ⊂↓,⊂⊂↓@+p_α+`_β+P_β@+@_-@k _,@K⊂+@JP_*j0_)j⊂_(Ip⊂'I@_%@i _%HT ∪πD⊃P
$P↓R`4`↓S@$x↓∀%λ↓T@5_↓U5(↓U`%@↓⊗ %P↓V`5`↓W 08W@00W`0 X _X@ ⊂X` λY6λβW` (↓⊃(B8ε!pp↓A!Pλ&α↓0λ%BA λ%`P ∧I ⊂∧↓P_%! P%!0@%!P(#A@⊃(%¬HT ∀πD⊃λπB`%(↓∃%_↓∀BUλS`4h↓R@T`α∪@5↓∀"u⊂
T`% ↓∃ %(↓⊃(BH∂λ"⊂xλ@K0⊂.KP⊂%E)!80l _1A, 0@l⊂%¬i1(.@K@⊂-@K0⊂"Q¬!_
FB@HT`∃⊂↓T@5λ↓ %↓`$x↓↓ $p↓A 4`αA TPα (↓ DP↓` (↓`$x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $("
b1(
¬P⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@Ip⊂α@I ⊂↓@@P⊂↓@I @@P⊂A @(αA)`_α@ip⊂α@J⊂↓@J⊂⊂@J _)j0λ)@(T ⊗πD⊃λπB @↓∀` @↓∀@ P↓∀ `↓∀"∧x
∪@1↓S1 ↓R@A0α∪1 ↓S 1⊂↓S`!↓∀α%λλ∀@ P↓∀@ P↓∀` @↓∀` @↓⊃(Bh∂λ#! @P⊂%↓i0_%@ ⊂⊂%@ ⊂%@ 0⊂%@ @_% `_% p_)@j@_*@jp⊂,K⊂⊂-k0_.kP_/l⊂0@L ⊂1@l@_2@l`⊂"Q¬ap⊂FBA`↓→ 6 ↓X`6⊂↓_ &↓↔@5h↓W5X↓V@5H↓⊗%8↓∃ 5 ↓T`4PA`4PA@4XA4X@`$X@@$X@ $X↓R@tP↓↓ $("baHεβ@ ¬@i@_Ap⊂%@@`⊂α@)0λ∧@0λ%! ⊂@) λ¬@i λ¬@i λ¬@i λ¬@ ⊂⊂%@!⊂λ↓@I0λ∧ P⊂&@@⊂βA ` ¬@hT _↓a⊂xλ↓ ∀p↓S@4h↓S 4h↓S $`↓S4`↓∩`4X↓∩`$P↓R@$P↓⊃(C_λ¬αQλB 0P)@jP⊂+Jp⊂+@Jp⊂,K⊂%∧ !,K⊂+@Jp⊂+@J`⊂*@J0_%BI0@"QεAP∞Eα@`↓∃@%(α∃ ⊂↓∃ ⊂↓∀` ↓∀` ↓∀@ 0↓∀ @↓∀ @↓∀ P↓∪` `↓∪` `↓∪@ p↓∪ !↓∪ !↓∪!⊂↓∪!⊂↓∩`! ↓∩C$XQ(C(
π"@pF)!P%@B@⊂&B ⊂&B ⊂&@B⊂&@B⊂'A`⊂'@A@⊂'@A@⊂(A ⊂(@A⊂(@A⊂)@`⊂)@@@⊂)@@@⊂*@ ⊂*@ ⊂*A
`⊂+HT ≠∧αaX
β@%@↓∃`%8↓∃@%0↓∃ % ↓∃%_↓∀`%⊂↓∀@%λ↓∀ %↓∀$x↓∪`$p↓∪@$h↓∪$`↓∩`$X↓∩@$XQ(C8↓AA0`I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Qπ0`πEbPHS@d`↓↓$`A4X↓↓DXA λR@ (↓ $P↓↓ ⊂↓∩@ ↓@$P↓↓ ⊂↓∩@ _↓`$P↓` _↓∩@ _↓`$P↓` _↓∩@ ⊂↓↓$P↓@ ↓∩@ ⊂↓↓$X@ (R`@ ↓∪0 S0_↓∪d`↓∪$("∂αaH
¬ βA 0λ↓@@0_A λα@@⊂λα@i λβ@p_% `⊂βA 0λα@`p &@0_∧iPλ↓@a⊂_' _∧@I`λ↓`p⊂' P% 0λ↓`0_% λ↓@`0_%@@@_↓@j⊂_↓@j⊂_↓@i λβ`0_%@P⊂αi ⊂α`P_%@ @⊂β` _&↓! "QπQ(¬α@ β∪ (α∩`⊂H↓R`⊂P↓A ∀PC0 R@⊂pαR@∀XR`⊂hα∪ P↓`∀pα↓ 0 U`0 U`58↓V4PαB@4h↓B@4pαα5↓A@5λα`5_βQ(Cpε"A E)1(*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*J@⊂*@(T ∨EC⊃
α`∃ ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃$X
RbT("⊂α↓_
¬⊂λ∧@) ⊂∧I ⊂∧i _βA 0_∧↓ @_βA P_β ⊂⊂&APλ@)Pλ@`@λ&@ _↓@)@λα@ λ%@@@_@)0⊂αA 0⊂βi0⊂β@i0_β@i@⊂∧i@_∧iP_∧IP_∧I (∧@(T .DBQλλ@ ⊂xR@ p↓∩@ p↓∩@ p↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ _∧`$P↓a_↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓β@$X↓β$`↓B4hε∪a∧("_α↓_
¬⊂λ%I ⊂%I ⊂%I ⊂%I ⊂%βi!%I ⊂%I ⊂%I ⊂%I ⊂%I0λ"Q⊃ Eα@xV%@↓⊗%@↓⊗%@↓⊗%@↓∩atPλ⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%HQ(F⊂∧DβQ(@) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%α)0@"Q0H∧G"P@T %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ $P∧RA∀("→↓⊃∞E ⊂@%α) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T 2B!⊃h
@↓∀P∧T %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %⊂Q(F@βBcQ(β)p⊂'I`⊂'IP⊂&@IP⊂&I@⊂&I0⊂%@I0⊂%I ⊂%@I0⊂%@I@⊂&I@⊂&@IP⊂&@I`⊂'I`⊂'@Jλ"Q
⊂8¬π"P↓∩@$X↓∩`$X↓∪$`↓∪$h↓∪ $h↓∪@$p↓∪@$x↓∪`$p↓∪@$p↓∪ $h↓∪ $`↓∪$`↓∩`$X↓∩`$P↓∩@$("~a p∞E ⊂λβ) ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI0λβ(T 6β↓q`
A@∀x↓∪@Dh@ λR` ⊂↓@$PA S`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$PA R` ⊂↓@$h@ λS@Dx↓∪`$("≠"1(∞¬!⊂λ)j _(@@⊂⊂(@0⊂'@@P⊂&AP %A@P0%` ⊂α@@ _% @⊂α@@@λ'@@P⊂'@@P⊂'@@P⊂'@@P⊂'@@P⊂'@@P⊂'@@P⊂'@@P⊂'@@P⊂% @⊂α@@@λ%` ⊂α@@ _%A@P0&AP '@@P⊂(@0⊂(@@⊂⊂)j _)@(T 7Aq(λ@4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4X↓Q(G∞GcPλ∞,P⊂2L0⊂1@L ⊂1L⊂⊂0L⊂/@Kp⊂/KP⊂.@I@⊂πI ⊂@AP⊂&@A@⊂'A ⊂'A ⊂'@A⊂(@p⊂(@`⊂(@@@⊂(@@@⊂)@ ⊂)@ ⊂)A
0_*HT 8Ec⊃_ @↓⊂(∧S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓RBt("≤C↓X D`↓@%ε 10&bλ&↓↓pλ&@a`λ&A↓@⊂'a@λ'@a λ'A↓⊂λ(aλ(↓pλ(@``λ)`@λ)↓0λ)@` λ)A⊂λ*↓
P⊂*@HT :∧BQλλ@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩@ p↓∩B$XλQ(G( ¬"⊃λ∧I!⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%A`⊂%@!pλ"Q∞a(Fb@λ
∩BTP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩BTP
Q`Pλ RBT("≥bQ@
E↓(%¬+P⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂.@KP⊂%E !(#A ⊃ %¬(T <αAQP
`D`A∀X↓↓ ∀P↓↓ $P↓∩@$XR`$h↓∪TX↓↓∀P↓↓ $P↓↓@$P↓↓@$P↓↓@$X↓↓ $`A$hαS`%λ↓∀@∃⊂↓∀@$X↓↓ $XA $`A∀hα⊃(GH¬β#! αI`⊂'I`⊂'I`⊂'I P%αI`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'HT =αAQP
↓$p↓∪@$p↓∪@$p↓∩A$p↓∪@$p↓∪@$p↓∪@$8A$p↓∪@$p↓∪@$p↓∩A$p↓∪@$p↓∪@$p↓∪@$("≡b⊃
¬P`&CI@8↓@I0@↓@I0@↓@I H↓@I H↓@I H↓@I H↓@I H↓@I0@↓@I0@↓@I@8↓@IP0↓@Ip ↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@J⊂⊂↓@HT >εβ!@
α e⊂∧∀!%ε∀↓Eε∀↓Eε∀!%⊂∧∪ 0⊂∧@4`
∩bdP∩C∧P∩C∧P∩a_@A∧`β@@ ⊂βS P_↓`U(↓∃ % α∃D("∨"aH¬↓ ⊂*J0 )@ ⊂(@@@⊂(@@@⊂(@`⊂'@A⊂'A ⊂&@A@⊂&A`⊂%@B⊂%B ⊂%@B⊂&A`⊂&@A@⊂'A ⊂'@A⊂(@`⊂(@@@⊂(@@@⊂)@ ⊂)A
@⊂*HT ?¬C⊃
`P0αS↓⊂∧∩` (β↓ $P↓α @↓∩@ @↓α$P↓α ⊂@↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩`!↓∩`!↓∪ p↓∪ `↓∪@ P↓∪` @↓∀ 0↓∀ ↓∀@ ⊂↓∀`E ↓∃$("∨baH¬↓ ⊂*J0 )A
0(B p`'βIQ&∧I1 %E !0%¬I!0%¬I!0%E 08↓@ 8&↓@ ⊂↓↓IP ↓@@0 *J@⊂)A
0 "{avH2→-g 4YM⊗(9λλ4h)V=qh1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ∞7H6XMv`9{aF07[NF00XlV⊂<]←_<@|α P@≤4∩(¬@OX≠@OX≠@∪?␈␈xr=@↓hβm∧(↓
H{!0β∧↑PβR∨0↓π x4⊃ λα}`_ @↓#@p↓)=@Ahβm∧(αλ_{↓"0¬∞≤βT∂0βπ x4⊃ ∧9≡`8∞@↓v@"@↓Q=A↓hβm∧(↓⊃X{α#PπZλP∧≠∨0¬π x4⊃ ∧i↑`X∞@↓v@"@↓λ≥=AAhβm∧(α≠h{β$P cF∧EO0π∧`P≤8 %}`x @↓#@p↓⊂g=B↓hβm∧(α/λ{∧#PπZλPβ?∂0 π x4⊃ J↑a_∞@↓v@"@↓_0⎇BAhβm∧(↓XP{¬#PπZλPβ8∨0π x4⊃ f≡a8∞@↓v@"@↓_g⎇C↓hβm∧(α@0{ε#PπZλP¬ε␈0
π x4⊃ ε↔≡aX∞@↓v@"@`G⎇CB(∧qcαG`{π$P cF¬≠?0∂π x4⊃
N↑ax∞@↓v@"@↓(5⎇Dα(∧qc↓?X{λ$P cFβαo0⊃∧`P≤8¬l↑b_ @↓#@pX4⎇DB(∧qc↓Cλ{ $P cF¬3O0∪ ↓_G
y}b8∞@↓v@"@↓0→=Eα(∧qcαf_{
$P cF¬Qo0∃¬``%u .>bX@↓DXj@↓8⊗=EB(∧qcαyx{$P cF¬|o0↔ ↓_G>bx∞@↓v@"@↓@>=FX↓;!_β8{$P cFβl∨0→ε h*Tε0↑c_@↓U((↓@w=FBλ∧/3Xβ∩λ{
$⊂λ↑g0ε./0≠p}c8↓P↓=G↓(αh%X↓O({∞"P¬PK0β(/0≥ε h*Tε\}cX @↓#@p↓P⊂⎇GAXβKlXβ)@{∂#0π↔Y0εc←0∨π x4⊃
\↑cx∞@↓v@"@↓XQ⎇H↓8β =(β= {⊂#`πuYP∧?0!εh↓M ≥≡d_
↓-PPj⎇HAhβl⊃⊃ {⊃"@¬/3P-?0#ε@p xi↑d8↓?⊂A@λp⎇Iα∧≡/@#⊂{∩"P¬V,0R?0%ε hE~↓3≡dX∞↓p(&@_⎇IAPβ5BX70{∪%05>v←0'π@↓M α∂≡dx∞@↓yλ≥@ Z⎇J↓PβA`_Q {∀#`λλC0↓,←0)λ↓⎇Z`αp↑e_@↓Cλ$0⊂⎇JA(αl_f⊂{∃"pε→αP↓S?0+¬``H∩`β@↑e8∩@α9"@8*⎇K↓PβD7(} {⊗#⊂εKTPαπ∨0-ε@p∩1 ∧&≡eX@↓U((P"⎇KAHβ*U↓){↔#⊂εU*ππ?0/ε h*T¬6}ex@↓U((X⊃=L↓8β =(βI@{_"pε∩zPπ→∨01∧ H↔Y ∞>↑f_λ@↓∩x2@↓h≡⎇LAλα%v(βX{→"⊂∧KlPπ8?03∧`P≤8π7}f8 @↓#@px⊂=Mxα∧↑Xβ`0{~!p∧ =0πI∨05α`0 = π∀≡fX @↓#@p↓pF=MA_αG∞βpX{≠"pε∩zPπlO07∧`P≤8πβ}fx¬@a⊂z@↓xq⎇N↓pβ␈␈@∧↓0{≤#@π2∨0λ∞?09π`↓8p⊂2≡g_λ↓
PU@xa=NAHβ*U∧⊃_{≥#⊂εU*λ+o0;π x4⊃ ⊂j>g8∞@↓v@"@αλp=O↓λα%v(∧!8{≡"⊂∧KlPλMo0=∧ H↔Y ⊃*}gX@↓DXj@α⊂t=OAhβm∧(∧58{∨#PπZλPλt∂0?π x4⊃ ⊃␈}gx∞@↓v@"@α .> ∩9⊂=xow{⎇x